Pegasus: An Efficient Intermediate Representation
نویسندگان
چکیده
We present Pegasus, a compact and expressive intermediate representation for imperative languages. The representation is suitable for target architectures supporting predicated execution and aggressive speculation. In Pegasus information about the global dataflow of the program is encoded in local structures, enabling compact and efficient algorithms for program optimizations. As a proof of the versatility of Pegasus, we have used it in a compiler translating C programs to hardware implementations. This work was supported in part by NSF CAREER award CCR-9876248 and DARPA grant N00014-01-1-0659.
منابع مشابه
Andersen’s Points-to Analysis for CASH Compiler Framework
We present the design and results of our implementation of Andersen’s pointer analysis on the Pegasus intermediate representation. We use a constraint based formulation of this analysis and use the Banshee constraint solving framework to solve the generated constraints. The results of the pointer analysis are then used for analyzing the token dependencies between the various memory related oper...
متن کاملSoftware Pipelining for the Pegasus IR
Modern processors, especially VLIW processors, often have the ability to execute multiple instructions simultaneously. Taking advantage of this capability is crucial for high performance software applications. Software pipelining is a technique designed to increase the level of parallelism in loops. We propose a new approach to software pipelining based on direct manipulations of control flow g...
متن کاملAltm Pegasus Sensor Design: a New Paradigm in Lidar Technology Innovation
The evolution of airborne lidar mapping systems has been largely driven toward ever-increasing laser pulse repetition frequencies (PRF) for higher density model applications. The greater pulse rates increase the density of points on the ground, providing a higher resolution and detailed representation of the target surface. In combination with an appropriate scanning system, they can provide mo...
متن کاملPEGASUS: Competitive load balancing using inetd
As it is proven by practice, load balancing techniques are the only tool that network service provider have, in order to support and handle scalable network load. This paper presents PEGASUS, a novel framework that provides load balancing in network services transparently, using a competitive scheduling algorithm. PEGASUS is designed upon the INETD superserver, thus providing a easy to configur...
متن کاملMining Tera-Scale Graphs: Theory, Engineering and Discoveries
How do we find patterns and anomalies, on graphs with billions of nodes and edges, which do not fit in memory? How to use parallelism for such Teraor Peta-scale graphs? In this thesis, we propose PEGASUS, a large scale graph mining system implemented on the top of the HADOOP platform, the open source version of MAPREDUCE. PEGASUS includes algorithms which help us spot patterns and anomalous beh...
متن کامل